home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
ast_comp
/
concurre.tar
/
concurrency
/
iowatr.tex
/
images.pl
(
.txt
)
< prev
next >
Wrap
LaTeX Document
|
1993-07-05
|
8KB
|
175 lines
# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q//;
$cached_env_img{$key} = q|<IMG
STYLE="height: 0.38ex; vertical-align: 162.91ex; " SRC="|."$dir".q|img20.png"
ALT="\begin{picture}(160,90)(0,-5)
\put(72,77){\line(-3,-1){46}}
\put(91,77){\line(3,...
...rK}
\put(72,37){I+C}
\put(58,17){L}
\put(96,17){R}
\put(74,-3){RA}
\end{picture}">|;
$key = q/Diamond;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.28ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img22.png"
ALT="$\Diamond$">|;
$key = q/Diamond{^prime};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.92ex; vertical-align: 161.83ex; " SRC="|."$dir".q|img34.png"
ALT="$\Diamond{^\prime}$">|;
$key = q/bar{Theta}_{{DA}}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.85ex; vertical-align: 161.24ex; " SRC="|."$dir".q|img37.png"
ALT="$\bar{\Theta}_{{DA}}^{}$">|;
$key = q/bfn;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img14.png"
ALT="$\bf n$">|;
$key = q/bf{BA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img28.png"
ALT="$\bf BA$">|;
$key = q/bf{BM;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img9.png"
ALT="$\bf BM$">|;
$key = q/bf{DA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img30.png"
ALT="$\bf DA$">|;
$key = q/bf{DA^{B}_{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.72ex; vertical-align: 161.45ex; " SRC="|."$dir".q|img5.png"
ALT="$\bf DA^{B}_{}$">|;
$key = q/bf{DA^{K}_{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 0.38ex; vertical-align: 162.72ex; " SRC="|."$dir".q|img7.png"
ALT="$\bf DA^{K}_{}$">|;
$key = q/bf{IDA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img25.png"
ALT="$\bf IDA$">|;
$key = q/bf{RA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.04ex; vertical-align: 161.70ex; " SRC="|."$dir".q|img8.png"
ALT="$\bf RA$">|;
$key = q/bf{RBA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img27.png"
ALT="$\bf RBA$">|;
$key = q/bf{RDA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.30ex; vertical-align: 161.38ex; " SRC="|."$dir".q|img24.png"
ALT="$\bf RDA$">|;
$key = q/bf{RRA;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.66ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img29.png"
ALT="$\bf RRA$">|;
$key = q/bf{mbox{calA};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.60ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img10.png"
ALT="$\bf\mbox{$\cal A$}$">|;
$key = q/bf{mbox{calB};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.60ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img3.png"
ALT="$\bf\mbox{$\cal B$}$">|;
$key = q/bf{mbox{calB}{^prime};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.85ex; vertical-align: 161.89ex; " SRC="|."$dir".q|img32.png"
ALT="$\bf\mbox{$\cal B$}{^\prime}$">|;
$key = q/bf{mbox{calD};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.15ex; vertical-align: 162.66ex; " SRC="|."$dir".q|img2.png"
ALT="$\bf\mbox{$\cal D$}$">|;
$key = q/bf{mbox{calD}{^prime};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.66ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img31.png"
ALT="$\bf\mbox{$\cal D$}{^\prime}$">|;
$key = q/bf{mbox{calD}{^prime}{^prime};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img36.png"
ALT="$\bf\mbox{$\cal D$}{^\prime}{^\prime}$">|;
$key = q/bf{mbox{calK};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img4.png"
ALT="$\bf\mbox{$\cal K$}$">|;
$key = q/bf{mbox{calK}^{+}_{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.68ex; vertical-align: 160.55ex; " SRC="|."$dir".q|img38.png"
ALT="$\bf\mbox{$\cal K$}^{+}_{}$">|;
$key = q/bf{mbox{calK}{^prime};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.92ex; vertical-align: 161.83ex; " SRC="|."$dir".q|img33.png"
ALT="$\bf\mbox{$\cal K$}{^\prime}$">|;
$key = q/bigvee;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.30ex; vertical-align: 160.90ex; " SRC="|."$dir".q|img41.png"
ALT="$\bigvee$">|;
$key = q/bigvee_{{i<omega}}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.98ex; vertical-align: 161.01ex; " SRC="|."$dir".q|img39.png"
ALT="$\bigvee_{{i<\omega}}^{}$">|;
$key = q/breve{{~}};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.04ex; vertical-align: 161.70ex; " SRC="|."$dir".q|img6.png"
ALT="$\breve{{ }}$">|;
$key = q/cal{B};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.85ex; vertical-align: 161.89ex; " SRC="|."$dir".q|img35.png"
ALT="$\cal {B}$">|;
$key = q/dagb;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.28ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img13.png"
ALT="$\dag b$">|;
$key = q/diamond;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.04ex; vertical-align: 161.64ex; " SRC="|."$dir".q|img1.png"
ALT="$\diamond$">|;
$key = q/displaystylebreve{{~}};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 179.22ex; vertical-align: -0.11ex; " SRC="|."$dir".q|img17.png"
ALT="$\displaystyle \breve{{ }}$">|;
$key = q/displaystylebreve{{~}}^{-}_{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 179.22ex; vertical-align: -0.68ex; " SRC="|."$dir".q|img19.png"
ALT="$\displaystyle \breve{{ }}^{-}_{}$">|;
$key = q/displaystylecr;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 0.38ex; vertical-align: 163.30ex; " SRC="|."$dir".q|img18.png"
ALT="$\displaystyle \cr$">|;
$key = q/displaystyleeqno;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img16.png"
ALT="$\displaystyle \eqno$">|;
$key = q/displaystylehookrightarrow;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 18.65ex; vertical-align: 144.97ex; " SRC="|."$dir".q|img21.png"
ALT="$\displaystyle \hookrightarrow$">|;
$key = q/hookleftarrow;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.28ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img12.png"
ALT="$\hookleftarrow$">|;
$key = q/hookrightarrow;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.79ex; vertical-align: 161.96ex; " SRC="|."$dir".q|img11.png"
ALT="$\hookrightarrow$">|;
$key = q/models;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.36ex; vertical-align: 160.74ex; " SRC="|."$dir".q|img40.png"
ALT="$\models$">|;
$key = q/not=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.09ex; vertical-align: 162.21ex; " SRC="|."$dir".q|img15.png"
ALT="$\not=$">|;
$key = q/notin;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.66ex; vertical-align: 161.63ex; " SRC="|."$dir".q|img26.png"
ALT="$\not\in$">|;
$key = q/sum_{i}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.60ex; vertical-align: 162.07ex; " SRC="|."$dir".q|img23.png"
ALT="$\sum_{i}^{}$">|;